Nuprl Definition : haslink 11,40

haslink(lm) == mlnk(m) = l 
latex



clarification:

haslink(lm) == mlnk(m) = l  IdLnk 
latex


Definitionsmlnk(m), IdLnk
FDL editor aliaseshaslink

origin